properties of inverse of a function